House allocation problem